401. Paraconsistent Logic
پدیدآورنده : by Walter Carnielli, Marcelo Esteban Conigli,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Negation )Logic(,Philosophy,Knowledge, Theory of,Logic,Electronic books
رده :
EBOOK
,
BC
.
N4
199
402. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده : Marc Schoenauer [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
403. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
404. Philosophical Analysis in Latin America
پدیدآورنده : edited by Jorge J.E. Garcia, Eduardo Rabossi, Enrique Villanueva, Marcelo Dascal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.
رده :
B29
.
E358
1984
405. Philosophy of Educational Knowledge An Introduction to the Foundations of Science of Education, Philosophy of Education and Practical Pedagogics.
پدیدآورنده : Brezinka, W.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
LB880
.
B7
B749
2013
406. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
پدیدآورنده : 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
407. Pragmatic Logic
پدیدآورنده : by Kazimierz Ajdukiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
408. Principles of Eidetics Outline of a Theory
پدیدآورنده : Arnaldo Arduini
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : (Produktform)Paperback / softback,(Zielgruppe)Fachpublikum/ Wissenschaft,(Zielgruppe)Research
رده :
BF441
.
A763
2014
409. Problems and proofs in numbers and algebra
پدیدآورنده : /Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Algebra,Mathematical logic., Number theory.
رده :
QA152
.
P7M5
2015
410. Problems of the Logic of Scientific Knowledge
پدیدآورنده : edited by P.V. Tavanec.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Science -- Philosophy.
رده :
B67
.
E358
1970
411. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
412. Questions on the Soul by John Buridan and Other
پدیدآورنده : edited by Gyula Klima
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philo,Hi,Medieval philo,Philosophy of,Cognitive psych,Psych,Philo,Medieval Philo,Cognitive Psych,History of Sc,Philosophy of,History of Psych
رده :
EBOOK
,
B
Q4
795
413. Real existence, ideal necessity :
پدیدآورنده : Robert Greenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Kant, Immanuel,1724-1804.,Kant, Immanuel, 1724-1804,Kant, Immanuel,1724-1804.,Knowledge, Theory of-- History.,Modality (Logic),Modality (Logic)-- History-- 18th century.,Nonclassical mathematical logic.,Knowledge, Theory of.,Modality (Logic),Nonclassical mathematical logic.,PHILOSOPHY-- Epistemology.,Rezeption,Spätantike
رده :
B2750
.
K28
no
.
157eb
414. Recent trends in computer applications :
پدیدآورنده : editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
رده :
QA75
.
5
415. Reconceiving experience :
پدیدآورنده : John T. Kearns.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Experience.,Knowledge, Theory of.,Language and languages-- Philosophy.,Language and logic.
رده :
B945
.
K393
R43
1996eb
416. Reduction in Science :
پدیدآورنده : edited by Wolfgang Balzer, David A. Pearce, Heinz-Jürgen Schmidt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Science -- Philosophy.,Social sciences -- Philosophy.
رده :
Q175
.
E358
1984
417. Representation and productive ambiguity in mathematics and the sciences
پدیدآورنده : Grosholz, Emily R.
کتابخانه: (طهران)
موضوع : Philosophy ، Mathematics,، Ambiguity in science,، Knowledge, Theory of,Philosophy ، Science
رده :
QA
9
.
G76
R47
2007
418. Rethinking German Idealism
پدیدآورنده : edited by S.J. McGrath, Joseph Care
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Idealism, German,Philosophy,Knowledge, Theory of,Logic,Metaphysics,Electronic books
رده :
EBOOK
,
B
R4
2745
419. Rethinking German Idealism /
پدیدآورنده : edited by S.J. McGrath, Joseph Carew
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Idealism, German.,Knowledge, Theory of.,Logic.,Metaphysics.,Philosophy.
رده :
B2745
420. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
